intr protocol intrProtocol {

    // sanity check of Interrupt protocols
child:
    async AsyncMsg();

parent:
    sync SyncMsg(int i) returns (int r);

both:
    intr InterruptMsg(int x) returns (int y);

};
